\frame
{
  \frametitle{Types of detectors}
  Most FindBugs detectors use one of the following implementation techniques:
  \B
  \item Inspecting class/method/field structure
  \item Micropatterns: simple bytecode patterns
  \item Stack-based patterns
  \item Dataflow analysis
%    \B
%    \item Avoiding the infeasible paths problem
%    \E
  \item Interprocedural analysis
  \E
  Each implementation technique is supported by ready-made
  base classes and support infrastructure.
}

